$\vdash$  tt $\in$ $\mathbb{B}$